writing proofs